1. 8th International Conference on Automated Deduction
Author: edited by Jپ rg H. Siekmann
Library: Vali Asr University Central Library (Kerman)
Subject: Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
A96
,
I57
1986
